Question about `BigDecimal.ceil` method availability - Effect Community