(module Percent.Stable)