Fix for fcppt.random