high-precision Airy function