To cope with promotions from integer to floating-point arithmetic.

• §7. Flotations

§1. In principle, we could recognise integer and real versions of any dimensionless kind (if we really wanted, say, to distinguish "integer weight" from "real weight"), but at present we allow only one such pair: number and real number.

kind *Kinds::FloatingPoint::real_equivalent?Usage of Kinds::FloatingPoint::real_equivalent:
§6
The Lattice of Kinds - §7.2(kind *K) {
    if (Kinds::eq(K, K_number)) return K_real_number;
    return K;
}

kind *Kinds::FloatingPoint::integer_equivalent?Usage of Kinds::FloatingPoint::integer_equivalent:
§6(kind *K) {
    if (Kinds::eq(K, K_real_number)) return K_number;
    return K;
}

§2. There can be numerous other real-valued kinds; it's just that those don't have integer equivalents.

int Kinds::FloatingPoint::uses_floating_point?Usage of Kinds::FloatingPoint::uses_floating_point:
§5, §6
The Lattice of Kinds - §7.2
Dimensions - §31.3(kind *K) {
    if (K == NULL) return FALSE;
    return KindConstructors::is_arithmetic_and_real(K->construct);
}

§3. Inform's equations system has to handle promotion (from int to real) or demotion (from real to int) quite carefully, and needs the following concept:

typedef struct generalised_kind {
    struct kind *valid_kind;  must be non-null
    int promotion;  0 for no change, 1 for "a real version", -1 for "an int version"
} generalised_kind;

• The structure generalised_kind is private to this section.

§4.

generalised_kind Kinds::FloatingPoint::new_gk(kind *K) {
    if (K == NULL) internal_error("can't generalise the null kind");
    generalised_kind gK;
    gK.valid_kind = K;
    gK.promotion = 0;
    return gK;
}

void Kinds::FloatingPoint::log_gk(generalised_kind gK) {
    LOG("%u", gK.valid_kind);
    if (gK.promotion == 1) { LOG("=>real"); }
    if (gK.promotion == -1) { LOG("=>int"); }
}

§5. Access to which:

kind *Kinds::FloatingPoint::underlying(generalised_kind gK) {
    return gK.valid_kind;
}

int Kinds::FloatingPoint::is_real?Usage of Kinds::FloatingPoint::is_real:
§6(generalised_kind gK) {
    if (gK.promotion == 1) return TRUE;
    if (Kinds::FloatingPoint::uses_floating_point(gK.valid_kind)) return TRUE;
    return FALSE;
}

§6. The following performs the operations "change to real" and "change to int":

generalised_kind Kinds::FloatingPoint::to_integer(generalised_kind gK) {
    if (Kinds::FloatingPoint::is_real(gK)) {
        if (gK.promotion == 1) gK.promotion = 0;
        else {
            kind *K = Kinds::FloatingPoint::integer_equivalent(gK.valid_kind);
            if (Kinds::FloatingPoint::uses_floating_point(K) == FALSE) gK.valid_kind = K;
            else gK.promotion = -1;
        }
    }
    if (Kinds::FloatingPoint::is_real(gK))
        internal_error("gK inconsistent");
    return gK;
}

generalised_kind Kinds::FloatingPoint::to_real(generalised_kind gK) {
    if (Kinds::FloatingPoint::is_real(gK) == FALSE) {
        if (gK.promotion == -1) gK.promotion = 0;
        else {
            kind *K = Kinds::FloatingPoint::real_equivalent(gK.valid_kind);
            if (Kinds::FloatingPoint::uses_floating_point(K)) gK.valid_kind = K;
            else gK.promotion = 1;
        }
    }
    if (Kinds::FloatingPoint::is_real(gK) == FALSE)
        internal_error("gK inconsistent");
    return gK;
}

§7. Flotations. This is where we compile Inter code to perform "flotation" — promotion to real — or "deflotation" — demotion, but taking into account scale factors since the integer versions may have been scaled.

#ifdef CORE_MODULE
void Kinds::FloatingPoint::begin_flotation_emit(kind *K) {
    if (Kinds::Behaviour::scale_factor(K) != 1) {
        EmitCode::call(Hierarchy::find(REAL_NUMBER_TY_DIVIDE_HL));
        EmitCode::down();
    }
    EmitCode::call(Hierarchy::find(NUMBER_TY_TO_REAL_NUMBER_TY_HL));
    EmitCode::down();
}

void Kinds::FloatingPoint::end_flotation_emit(kind *K) {
    EmitCode::up();
    if (Kinds::Behaviour::scale_factor(K) != 1) {
        EmitCode::call(Hierarchy::find(NUMBER_TY_TO_REAL_NUMBER_TY_HL));
        EmitCode::down();
            EmitCode::val_number((inter_ti) Kinds::Behaviour::scale_factor(K));
        EmitCode::up();
        EmitCode::up();
    }
}

void Kinds::FloatingPoint::begin_deflotation_emit(kind *K) {
    EmitCode::call(Hierarchy::find(REAL_NUMBER_TY_TO_NUMBER_TY_HL));
    EmitCode::down();
    if (Kinds::Behaviour::scale_factor(K) != 1) {
        EmitCode::call(Hierarchy::find(REAL_NUMBER_TY_TIMES_HL));
        EmitCode::down();
    }
}

void Kinds::FloatingPoint::end_deflotation_emit(kind *K) {
    if (Kinds::Behaviour::scale_factor(K) != 1) {
        EmitCode::call(Hierarchy::find(REAL_NUMBER_TY_TO_NUMBER_TY_HL));
        EmitCode::down();
            EmitCode::val_number((inter_ti) Kinds::Behaviour::scale_factor(K));
        EmitCode::up();
        EmitCode::up();
    }
    EmitCode::up();
}
#endif