擴大實數_(extended_real)