made conversion from integers to intervals precise
Authored by: sven_buente 2006-01-15
Parent: [r37]
Child: [r39]