type(toJSON(f32))
