赤いcoercion dot

アイコンの入力端に表示された赤い点のこと。データ型が一致していないことを表している。下の例では引数が整数から浮動小数点数へ型キャストされている。
f:id:ti-nspire:20181108073156p:plain:w300