1 BIFPREC (
2! 31
2 15
3 )