Prop.Float
float ranges and constraints.
float
module Range : sig ... end
module Constraint : sig ... end