Internal Set Theory resolves the asymmetry between standard and non-standard reals by enriching the ...