¿Cómo cambiar el número de decimales en la cota de los puntos?

Para cambiar el número de decimales de las cotas, entrar en la opción de Puntos > Modificar Puntos > Cambiar Formato.

En la ventana que aparece, presionar el botón "...", en la nueva ventana que aparecerá existe la posibilidad, entre otras, de cambiar el número de decimales en cota.