Number nip, or, Harlequin and the gnome king of the giant mountain