Symbol: RoundToDFSGranularityDown