Sage cannot do divides for things that are not literally integers