Validated numerics in Python