Elementary mathematics from a higher standpoint : volume III: precision mathematics and approximation mathematics (2016)