/*******************************************************************\

Module: ANSI-C Conversion / Type Checking

Author: Daniel Kroening, kroening@cs.cmu.edu

\*******************************************************************/

#ifndef CPROVER_ANSI_C_PARSE_FLOAT_H
#define CPROVER_ANSI_C_PARSE_FLOAT_H

#include <string>

#include <mp_arith.h>

void parse_float(
  const std::string &src,
  mp_integer &significand,
  mp_integer &exponent, // base 10
  bool &is_float,
  bool &is_long);

#endif
