1 BIFPREC ( 2! 15 2 31 3 )