NumLynx's large numbers