integration of real literals