dest_realintconst : term -> num

SYNOPSIS
Converts an integer literal of type :real to an OCaml number.

DESCRIPTION
The call dest_realintconst t where t is a canonical integer literal of type :real, returns the corresponding OCaml number (type num). The permissible forms of integer literals are `&n' for a numeral n or `-- &n' for a nonzero numeral n.

FAILURE CONDITIONS
Fails if applied to a term that is not a canonical integer literal of type :real.

EXAMPLE
  # dest_realintconst `-- &27 :real`;;
  val it : num = -27

SEE ALSO
dest_intconst, is_realintconst, mk_realintconst, rat_of_term.