For the record - I did remember the name correctly and it turns out (I should have realised) that these machines are properly remembered on Wikipedia and elsewhere.

https://en.wikipedia.org/wiki/Casio_FX-502P_series

One small highlight: Power consumption 0.0008W.