You can always put the hard work of generating those values into a function and call that in the comprehension - in fact, it’ll probably work better than hard-coding Real since the compiler can infer exactly what types are actually needed
(as long as the generating function is somewhat type stable, of course)
Nevertheless, I think the compiler should be able to infer Real here ![]()