Useful stuff for certified numerical results in Scala