pikeでは、値の型を変換する手段として明示的なcastも使うことができる: