WorkbenchWeb.Decimal.round_down

You're seeing just the function round_down, go back to WorkbenchWeb.Decimal module for more information.
Link to this function

round_down(d, precision)