[polyml] Subsecond time in stat structures