WorkbenchWeb.Decimal.decimal

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