cast

\mathbb{R} の \mathbb{R} \rightarrow \mathbb{R} への cast が少々気持ち悪い。