// Whole numbers written the way the UI language groups their digits. The
// app formats them; without it, the digits show as they are.
export global Numbers {
    pure callback count(int) -> string;
    count(value) => { value }
}