Fix docs: Numeric data type is called `num` internally