sig   val any : t   val whilst : (float -> bool) -> string -> bool   val eq : float -> t   val gt : float -> t   val gte : float -> t   val lt : float -> t   val lte : float -> t end