Revert use of C++11 std::random in Random;
Set Visual Studio math to be more strict, in line with the corresponding GCC options;