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

gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon