Sorry, I'm not following. Does that float produce a different double if cast versus FloatingDecimal.doubleValue()?