ensure that finalized float values are asm-coerced