private static PostedTime PT(double seconds, PostedTimeType type, int lapNumber) { return new PostedTime(TS(seconds), type, lapNumber); }