native on: Silver Gold
convert a floating-point number from internal to memory format
externalizef(f x) → f r0