let error () = raise (Invalid_argument "invalid real constant")