12.3と1.23って固定小数点の発想で見たら型が違うとも言えなくもないし、12.30と01.23にしたら『「10進で4桁でそのうち下の2桁は小数点以下」型』に型を揃えたと言えなくも無さそう?><;
思考の /dev/null