Do some IEEE formatting.