MAJOR api change: time is now double; #130 -> avoiding static InstructionUtil; towards adding time for #113;