@Nonnull
	default DoubleValue rem(@Nonnull DoubleValue other) {
		OptionalDouble value = value();
		OptionalDouble otherValue = other.value();
		if (value.isPresent() && otherValue.isPresent())
			return of((float) (value.getAsDouble() % otherValue.getAsDouble()));
		return UNKNOWN;
	}
@param value
		Value to check against.

@return {@code true} when the known value is greater than or equal to the given value.
recaf-core/src/main/java/software/coley/recaf/util/analysis/value/DoubleValue.java