A verilog module implementing addition of FP8 numbers (including denormalized numbers and stochastic rounding)