Spring.{Get,Diff}Timer(s): save some precision