JBBPIntCounter extends Number { @Override public double doubleValue() { return this.counter; } JBBPIntCounter();  JBBPIntCounter(final int startValue); void set(final int value); void inc(); void dec(); int getAndIncrement(); int incrementAndGet(); int getAndDecrement(); int decrementAndGet(); int get(); int getAndAdd(final int value); @Override int intValue(); @Override long longValue(); @Override float floatValue(); @Override double doubleValue();  }
@Test public void testDoubleValue() { final JBBPIntCounter counter = new JBBPIntCounter(5); assertTrue(Double.compare(5.0d, counter.doubleValue()) == 0); }