display-to-realを使ったほうがきれいに書けそう。