( i64 ) 3 * 1.