Integral.divides must be default so Integer can refine it
Integral.divides must be default so Integer can refine it

unratito/ceylon.language,ceylon/ceylon.language,ceylon/ceylon.language,unratito/ceylon.language