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