(1. + 1.*^20) - 1.*^20