Hello snti,
You are able to export all elements dimensions into IFC export translator.
There are some viewer which can export all informations you need into IFC by an xls for example.
Do you try to open an IFC with a text editor ?
You will se how this kind of file is made, it is a good way to understand how to use it.
Have a great day,