結果 : is double a user defined data type in java