Why no Float type alias?