% built-in function le implemented for class int8