1 BIFPREC (
2! 15
2 31
3 )