step-3: use a double for the RHS

[tjhei]

No description provided.

[bangerth]

Does it matter? I can see the value, but would have written it as 1.0.

[tjhei]

Does it matter?

I prefer to always write floating point values as floating point values. This way, it is obvious for the reader and (admittedly not in this situation) avoids mistakes that come from integer math producing wrong results.

I have seen too many mistakes around this. This is an instance of "defensive programming", which I know you are a fan of (1). :-)

but would have written it as 1.0.

I don't care much either way.

[bangerth]

I double checked, and we're using 0. and 1. in so many other places that it's not worth thinking about this one place.