class TestCase::Point_3f : mulnum_t {
  has x : float;
  has y : float;
  has z : float;
}