Validated_numerics