completed write_untagged_float32 and read_untagged_float32