[nabla9]

No it's not. It's the size and look of classic small Casio.

I bought it maybe 10 years ago. I think it's "origin" series or something like that. They still sell them in ebay for ~$100.