Wouldn't it be a 486 SX-33 if there is no FPU?

That's what the project they pulled this from (ao486) says:

"The ao486 is an x86 compatible Verilog core implementing all features of a 486 SX"

https://github.com/alfikpl/ao486