float is not a real type