:to_i.to_procがproc{|x| x.to_i}になるってのは
マニュアルのどこに書いてあるの？