borderWidth のデフォルト値が 1.3?

なんかテストが失敗していたので、調べていたのですが。BorderedMorph new をインスペクトすると、

自宅 PC では、なぜか borderWidth のデフォルト値が 1.3 になります。仕事場 PC だと 1 です。なんで？？？

サブクラスで self borderWidth: 1 と設定してあげれば常に 1 になるので問題ないんですけどね。