Eu sou novo em Java, e querendo saber como é que o dobro do trabalho de elenco int? Eu entendo que é simples por muito tempo int tomando os 32 bits baixos, mas o que dizer de double (64 bits) para int (32 bits)? os 64 bits do binário duplo estão no formato de ponto flutuante de precisão dupla (Mantissa), então como é que ele é convertido para int internamente?