Convert realarith module upto REAL_ARITH_001 function
Complete conversion of realarith module