在Java中,什么时候可以使用double类型而不是float类型?