mkInterval fixed; interval basis conversion; integer div of intervals