PTADouble

See PTA_double