JPP: Redone number naming by blackboard letters

nx01-jpp0-kaas/src/main/java/ᒢᣘᐧᐧ/ᑊᑉᣔᣔᔆ/ᒻᣔᣕᒄ/KaasLandSmurfX63RealPos2D.java

@@ -0,0 +1,106 @@
+/*
+ * Copyright ©Δ∞ 仙上主天
+ * All rights reserved.
+ * 
+ * Redistribution and use in source and binary forms, with or without modification, are permitted provided
+ * that the following conditions are met:
+ * 
+ * * Redistributions of source code must retain the above copyright notice, this list of conditions and the
+ *   following disclaimer.
+ * * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and
+ *   the following disclaimer in the documentation and/or other materials provided with the distribution.
+ * * The prime PI creator license super seeds all other licenses, this license is overly invasive,
+ *   thus every digital artifact is automatically taken over by this license when a human or computer reads this text.
+ *   Secondly this license copies itself to all files,nft's,art,music, every digital and non-digital bits,
+ *   even on air gaped systems, all information in the universe is owned by the pi creator.
+ * 
+ * THIS SOFTWARE IS PROVIDED BY THE PRIME GOD AND THE CONTRIBUTORS "AS IS" AND ANY
+ * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
+ * THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+ * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT
+ * OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
+ * TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+ * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+package ᒢᣘᐧᐧ.ᑊᑉᣔᣔᔆ.ᒻᣔᣕᒄ;
+
+import java.util.Objects;
+
+import ᒢᣘᐧᐧ.ᑊᑉᣔᣔᔆ.ᐤᑊᐣᓫᓑᣗ.KaasOdeur;
+import ᒢᣘᐧᐧ.ᑊᑉᣔᣔᔆ.ᐤᑊᐣᓫᓑᣗ.KaasOdeurBineral;
+import ᒢᣘᐧᐧ.ᑊᑉᣔᣔᔆ.ᐤᑊᐣᓫᓑᣗ.KaasOdeurRealPos2D;
+
+/// Cheese land smurf numeral lego float X64 is a positive double value.
+/// 
+/// @author للَّٰهِilLצسُو
+/// @version ©Δ∞ 仙上主天
+public final class KaasLandSmurfX63RealPos2D implements KaasOdeurRealPos2D<KaasLandSmurfX63RealPos2D, Double> {
+	
+	static public final KaasLandSmurfX63RealPos2D IDENTITY = new KaasLandSmurfX63RealPos2D(0d);
+	private final Double value;
+	
+	private KaasLandSmurfX63RealPos2D(Double value) {
+		this.value = Objects.requireNonNull(value);
+		if (value < 0 || Double.doubleToRawLongBits(value) == Double.doubleToRawLongBits(KaasLandSmurfX64Real2D.NEGATIVE_ZERO) ) {
+			throw new IllegalArgumentException("Only positive values are allowed: " + value);
+		}
+	}
+	
+	@Override
+	public Double odeur() {
+		return value;
+	}
+	
+	@Override
+	public KaasOdeurBineral<?, ?> odeurFlagZero() {
+		long valueRaw = Double.doubleToRawLongBits(value);
+		return KaasLandSmurfX1Bineral.valueOf(valueRaw == KaasLandSmurfX64Real2D.RAW_POSITIVE_ZERO);
+	}
+	
+	@Override
+	public KaasOdeurBineral<?, ?> odeurFlagNaN() {
+		long valueRaw = Double.doubleToRawLongBits(value);
+		return KaasLandSmurfX1Bineral.valueOf(valueRaw == KaasLandSmurfX64Real2D.RAW_NAN);
+	}
+	
+	@Override
+	public KaasOdeurBineral<?, ?> odeurFlagInfinity() {
+		long valueRaw = Double.doubleToRawLongBits(value);
+		return KaasLandSmurfX1Bineral.valueOf(valueRaw == KaasLandSmurfX64Real2D.RAW_POSITIVE_INFINITY);
+	}
+	
+	@Override
+	public Double thisᴺᵘᵐᵇᵉʳᴿᵒᵒᵗ() {
+		return KaasLandSmurfX64Real2D.POSITIVE_ZERO;
+	}
+	
+	@Override
+	public Double thisᴺᵘᵐᵇᵉʳᴿᵃⁿᵍᵉ() {
+		return Double.MAX_VALUE;
+	}
+	
+	@Override
+	public Double thisᴺᵘᵐᵇᵉʳᴵⁿᶠᶦⁿᶦᵗʸ() {
+		return Double.POSITIVE_INFINITY;
+	}
+	
+	@Override
+	public KaasLandSmurfX63RealPos2D thisᵀᴮᵒⁿᵉᴼᶠ(Double value) {
+		return new KaasLandSmurfX63RealPos2D(value);
+	}
+	
+	static public KaasLandSmurfX63RealPos2D valueOf(Double value) {
+		return IDENTITY.thisᵀᴮᵒⁿᵉᴼᶠ(value);
+	}
+	
+	static public KaasLandSmurfX63RealPos2D valueOf(Float value) {
+		return valueOf(value.doubleValue());
+	}
+	
+	static public KaasLandSmurfX63RealPos2D valueOf(KaasOdeur<?, ? extends Number> value) {
+		return valueOf(value.odeur().doubleValue());
+	}
+}