Change translation between world and ode times

Since Doubles have less precision than Longs, large values of
world times could result in lost precision for ode times.
DeterministicWorld now subtracts its initial world time from all input
world times prior to conversion to Double.