Use radixchar-agnostic tonumber in VLC intf (0.2.3)