@Nonnull
	default IntValue castInt() {
		OptionalDouble value = value();
		if (value.isPresent()) return IntValue.of((int) value.getAsDouble());
		return IntValue.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