We present a new floating-point arithmetic (FPA) theory solver implemented in the Cvc5 SMT solver. Differently from the major bit-blasting method, we use a real-blasting method that reasons about FPA formulas in a theory of real-integer arithmetic (RIA). It is based on an axiomatization of FPA operations with a set of conditional RIA formulas. The solver is implemented as an extended theory solver tightly coupled with Cvc5 so that fragments of axioms are lazily instantiated regarding the solving context. Experimental results show that our solver performs better than existing solvers for several problems.