Numerical Functions

Throughout the Wolfram Language there is support not only for approximate real numbers, but also for exact numbers represented in algebraic or symbolic form. Functions like Floor, IntegerPart, and Max are all in effect set up to "prove theorems"—often using original algorithms developed at Wolfram Research—to give values with exact inputs.