64->32 bit here, presumably not an issue on these and others below given presumed range of values.