Must have been a temporary glitch? Worked for me this morning, still works…
Note also - a few years back, I started a thread about doing maths in the shell :
Anyway - I’d only just started learning how to use awk to do floating point arithmetic (in preference to using “bc”) - and when I saw this new thread, I went looking for some older shell scripts I might have written using awk to do floats, and couldn’t find a single example!