Soy nuevo en Java y me pregunto cómo funciona el trabajo de double to int cast. Entiendo que es simple por mucho tiempo tomar los 32 bits bajos, pero ¿qué hay del doble (64 bits) al int (32 bits)? esos 64 bits del doble en binario están en formato de coma flotante de precisión doble (Mantissa), entonces, ¿cómo se convierte a int internamente?