sig type a = float val default : unit -> a end