なるほどです…！ Double というのは R=Double とした場合ってことですよね（Int なら Int 型で、subscript で無駄に box/unbox されるという理解であってます？）