Fixes for fcppt.random