Are there booleans, strings, numbers defined in rocq?

Everything can be defined from scratch and there are no built-in boolean, string or number. However, the standard library still includes those.