Machine-efficient Chebyshev approximation for exact arithmetic: their use with first-order ordinary differential equations.