Symbol: assert_double