Мне кажется, что вторая форма тоже должна работать (сначала приведите к Int, а затем выполните целочисленное деление). Я получу отзывы от других разработчиков Perl 6 и исправлю их, если они согласятся. (Обновление: выясняется, что infix: явно не принудительный, а скорее предназначен для возврата значения того же типа, что и аргументы. Что в общем случае не будет работать для Str).
Как указал Пэт, +$m
также должно работать, это давнее ограничение в Ракудо.
Как правило, приведение к типу выполняется с помощью $variable.Typename
, и я считаю, что сегодня это работает для всех числовых типов в Rakudo.