# QEMU test options
option('enable_f64', type: 'boolean', value: false, description: 'Enable 64-bit floating point (double precision) support')