int to java.util.Optional<java.lang.Integer>