Is the int64(..) necessary?