[boost] [random] uniform_real & uniform_01: is the implementation still buggy?