Correct some error messages in stdlib, change 'number' -> 'integer'