toJSON(type(f32))
