>データの型としては、Mには文字列しかありませんので、
微妙に不正確な気が。いや感覚的には分かるけど。
・変数に型はない
・文字列扱い/数値扱いどちらで評価されるかは、格納値に依存する
厳密には↑では?

>プログラムでどうにかするだけ。
ないものねだりなのは分かってますが、結局組む人が知恵使って
どうにかして正しく動作するようにしないといけないのね。
固定桁数数値使用時の「定石」みたいなのは
確立されていないんでしょうか。