Some ruby core extensions