On 11/22/2017 1:38 AM, Timon Gehr wrote: > My claim is not that conversion from time to floating point values associated > with a few natural units is "properly part of the time abstraction", just that > it should exist. Do you agree with that? I refer to my reply to Jon Degenhardt which has a substantial answer to that.