partial correction of write_untagged_float32
not any idea for read_untagged_float32 and write_untagged_float32