toJSON(f32 ^ i)
