Are Verilog reals synthesisable?
Short answer: No. 

Your best bet would be to build your own floating-point block. There are open-source examples. While you can make it IEEE754 compatible, there is no need to. It all depends on your application.

Some applications requires the range provided by single/double-precision IEEE754 numbers. However, other applications only require a small range that can be emulated with fixed-point numbers instead.