make timestamp-fraction comply with IfmapTimeStampFractionType