Talk:Validated numerics