native on: Decimal8 Decimal16
convert a floating-point number from internal to memory format
externalized(d x) → d r0