just for my clarity - why is it important that this return `in64` rather than `int32` or whatever local build desires? Is that our common practice?