infrastructure: extended decimals
all: more formatting changes