Insulating a concrete floor