bitcast double to i64, and fix BItoD