Add Pi; look for better factorials in backend; add bernreal precision