Hi Leean,
No. As far as I know, you don't have to dial full extension with a domain. For my case, I just dial domain assigned ID + domain's local extension from my another domain. For example, 078 + local extension, where 078 is the ID number for domain: 10.250.95.150.
I attached the sample...