formatting and types