(** Type for range-separation parameter *)

type t = float