Use bigint for bram_count.