None of those numbers are arbitrary. That's the point. Note that real doesn't have fixed length, it's just bigger than a double. It might be a 128-bit quadruple. Is 256 bytes enough?
Probably, but you have to do a calculation like this one to work it out. I'd rather not do that calculation everytime I read the code.