1 BIFPREC ( 2! 31 2 15 3 )