Bounded and floating types