public void ValueTest() { PrologCodeFloatAtom prologCodeFloatAtom = new PrologCodeFloatAtom((float)1.2345); float result = prologCodeFloatAtom.Value; Assert.AreEqual(result, (float)1.2345); }