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