擴大實數_(extended_real_number)