--- Double-precision test
--- Single-precision test