Fixed incorrect annotation for SchemaNumber#min