Construct real numbers (operations I)